On sums of Darboux and nowhere constant continuous functions
نویسندگان
چکیده
We show that the property (P) for every Darboux function g:R → R there exists a continuous nowhere constant function f :R → R such that f + g is Darboux follows from the following two propositions: (A) for every subset S of R of cardinality c there exists a uniformly continuous function f :R → [0, 1] such that f [S] = [0, 1], (B) for an arbitrary function h:R → R whose image h[R] contains a non-trivial interval there exists an A ⊂ R of cardinality c such that the restriction h A of h to A is uniformly continuous, which hold in the iterated perfect set model. ∗AMS classification numbers: Primary 26A15; Secondary 03E35.
منابع مشابه
Sums of Darboux and continuous functions
It is shown that for every Darboux function F there is a non-constant continuous function f such that F + f is still Darboux. It is shown to be consistent—the model used is iterated Sacks forcing—that for every Darboux function F there is a nowhere constant continuous function f such that F + f is still Darboux. This answers questions raised in [5] where it is shown that in various models of se...
متن کاملMath 2400 Lecture Notes: Integration
1. The Fundamental Theorem of Calculus 1 2. Building the Definite Integral 5 2.1. Upper and Lower Sums 5 2.2. Darboux Integrability 7 2.3. Verification of the Axioms 10 2.4. An Inductive Proof of the Integrability of Continuous Functions 12 3. Further Results on Integration 13 3.1. The oscillation 13 3.2. Discontinuities of Darboux Integrable Functions 14 3.3. A supplement to the Fundamental Th...
متن کاملTopological Dimension and Sums of Connectivity Functions
The main goal of this paper is to show that the inductive dimension of a σ-compact metric space X can be characterized in terms of algebraical sums of connectivity (or Darboux) functions X → R. As an intermediate step we show, using a result of Hayashi [9], that for any dense Gδ set G ∈ R the union of G and some k homeomorphic images of G is universal for k-dimensional separable metric spaces. ...
متن کاملINTERSECTION OF ESSENTIAL IDEALS IN THE RING OF REAL-VALUED CONTINUOUS FUNCTIONS ON A FRAME
A frame $L$ is called {it coz-dense} if $Sigma_{coz(alpha)}=emptyset$ implies $alpha=mathbf 0$. Let $mathcal RL$ be the ring of real-valued continuous functions on a coz-dense and completely regular frame $L$. We present a description of the socle of the ring $mathcal RL$ based on minimal ideals of $mathcal RL$ and zero sets in pointfree topology. We show that socle of $mathcal RL$ is an essent...
متن کاملSEPARATELY NOWHERE CONSTANT FUNCTIONS; n-CUBE AND α-PRISM DENSITIES
A function f from a countable product X = ∏ i Xi of Polish spaces into a Polish space is separately nowhere constant provided it is nowhere constant on every section of X. We show that every continuous separately nowhere constant function is one-to-one on a product of perfect subsets of Xi’s. This result is used to distinguish between n-cube density notions for different n ≤ ω, where ω-cube den...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001